MacLane's set theory